Nuprl Definition : int_nzero 13,42

 == {i:i  0}  
latex



clarification:

 == {i:i  0   }  
latex


Upint 1, int 1
Wellformedness Lemmasint nzero wf, int nzero wf
Definitions{x:AB(x)} , a  b  T , , #$n
FDL editor aliasesint_nzero

origin